TSTP Solution File: SEV067^5 by SRASS---0.1